7

Introduction to special issue: Video games as research instruments

Year:
2011
Language:
english
File:
PDF, 120 KB
english, 2011
14

Integrating Searching and Authoring in Mizar

Year:
2007
Language:
english
File:
PDF, 455 KB
english, 2007
15

Using and Parsing the Mizar Language

Year:
2004
Language:
english
File:
PDF, 143 KB
english, 2004
16

On Dynamically Presenting a Topology Course

Year:
2003
Language:
english
File:
PDF, 246 KB
english, 2003
28

Automated Fictional Ideation via Knowledge Base Manipulation

Year:
2016
Language:
english
File:
PDF, 1.57 MB
english, 2016